A Confluence of Streams
ثبت نشده
چکیده
منابع مشابه
Coinductive Proofs over Streams as CHR Confluence Proofs
Coinduction is an important theoretical tool for defining and reasoning about unbounded data structures (such as streams, infinite trees, rational numbers . . . ), and infinite-behavior systems. Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also...
متن کاملFlood Frequencyand Routing Processes Ata Confluence of the Middle Yellow River in China
Floods cause environmental hazards and influence on socio-economic activities. In this study, we evaluated the historic flood frequency at a confluence in the middle Yellow River, China. A non-parametric, multivariate, empirical, orthogonal function matrix model, which consists of time correlation coefficients of flood discharge at different gauge stations and flood events was used for the anal...
متن کاملEffects of reservoir connectivity on stream fish assemblages in the Great Plains
The upstream effects of reservoirs on stream fish assemblages were highly localized in 3rdthrough 5thorder streams in the Great Plains, USA. Streams that differed in connectivity to reservoirs were sampled at their confluences with a river or reservoir and between the confluence and the stream’s origin. Sites at confluences had higher total, nonnative, and reservoir species richness than middle...
متن کاملRiprap sizing for scour protection at river confluence
River confluence is a common feature of most irrigation and drainage channels and river systems, where tributary conflicts the main channel. In these section, rapid changes in velocity and discharge, sediment distribution and flow turbulent result in a deep confluence scour, a bar point in the separation zone at downstream of junction corner and finally vortex flow. Thus, the main goal of this...
متن کاملImpact of the Confluence Angle on Flow Field and Flowmeter Accuracy in Open Channel Junctions
Open channel junction is one of the most common hydraulic structures that are used in various practical situations such as sewer, drainage, and flood control systems. Knowing the fluid flow behavior, is one of the most important topics in designing the efficient open channel junctions. The complexity and deviation of flow in the junction’s zone disrupts the proper functioning of the flowmeter d...
متن کامل